منابع مشابه
Verifying Electronic Commerce Protocols
This proposal concerns protocol verification by formal proof. With EPSRC funding, Paulson has developed a new and highly successful approach to verifying security protocols: the inductive method. The protocols analyzed by this method include a standard Internet protocol (TLS, a descendant of SSL) [10] and one developed by a UK company, APM Ltd. [9]. APM’s protocol was difficult to analyze using...
متن کاملAccountability in Electronic Commerce Protocols
| In most commercial and legal transactions, the ability to hold individuals or organizations accountable for transactions is important. Hence, electronic protocols that implement commercial transactions must be designed to provide adequate accountability assurances for transacting parties. Without such assurances, electronic transactions can be susceptible to disputes. Currently, protocol desi...
متن کاملDelegation Protocols for Electronic Commerce
Many commercial and financial activities in the real-life require reliable mechansisms to provide accountability for the transactions that has been executed. If electronic commerce aim to substitute or support similar activities in the electronic world, it has to provide the same degree of accountability. Despite this requirement is crucial, we observe that many existing security mechanisms and...
متن کاملModel Checking Electronic Commerce Protocols
The paper develops model checking techniques to ex amine NetBill and Digicash We show how model checking can verify atomicity properties by analyzing simpli ed versions of these protocols that retain cru cial security constraints For our analysis we used the FDR model checker Atomicity Properties Correctness is a prime concern for electronic com merce protocols How can we show that a given pro ...
متن کاملMobile Electronic Commerce: Emerging Issues
There are many definitions for Mobile Electronic Commerce (MCommerce). We define M-Commerce as any type of transaction of an economic value having at least at one end a mobile terminal and thus using the mobile telecommunications network. The Wireless Application Protocol (WAP) plays an important role in m-commerce by optimizing Internet standards for the constraints of the wireless environment...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Engineering Research and Applications
سال: 2017
ISSN: 2248-9622,2248-9622
DOI: 10.9790/9622-0704023740